<?php

function arrarr_to_arr($arrarr, $key)
{
    $o = array();
    foreach ($arrarr as $arr) {
        array_push($o, $arr[$key]);
    }
    return $o;
}
